JavaUI : Effects for Controlling UI Object Access Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman University of Washington {csgordon,wmdietl,mernst,djg}@cs.washington.edu Abstract. Most graphical user

Source URL: homes.cs.washington.edu

• Computing
• Java
• Type theory
• Swing
• Type system

Probab. Theory Relat. Fields 122, 1–Digital Object Identifier (DOIs004400100161 Michel Bena¨ım · Michel Ledoux · Olivier Raimond Self-interacting diffusions

Source URL: www.math.univ-toulouse.fr

The Birth of Object Orientation: the Simula Languages⋆ Ole-Johan Dahl Dept. of Informatics, University of Oslo, Norway Abstract. The development of the programming languages Simula I and Simula 67 is briefly described.

Source URL: www.olejohandahl.info

• Software engineering
• Computer programming
• Programming language theory
• Procedural programming languages
• Object-oriented programming languages
• Turing Award laureates
• Simula
• Ole-Johan Dahl
• Programming paradigms
• Object-oriented programming
• ALGOL
• Kristen Nygaard

Arch. Rational Mech. Anal. Digital Object Identifier (DOIs00205Complete Integrability of Shock Clustering and Burgers Turbulence Govind Menon

Source URL: www.dam.brown.edu

• Calculus
• Mathematical analysis
• Mathematics
• Partial differential equations
• Hamiltonian mechanics
• Differential equations
• Mathematical physics
• Inverse scattering transform
• Scattering theory
• Markov chain
• Integrable system
• Ordinary differential equation

Chapter 4 A Guided Tour on the Theory and Practice of State Machine Replication Alysson Neves Bessani (University of Lisbon, Faculty of Sciences. Portugal)

Source URL: www.di.fc.ul.pt

• Fault-tolerant computer systems
• Paxos
• State machine replication
• Byzantine fault tolerance
• Consensus
• Replication
• Fault tolerance
• Object
• Communications protocol
• Virtual synchrony

DRAFT: To appear in Theory of Computing Systems NovemberDistributed Object Location in a Dynamic Network ∗

Source URL: www.oceanstore.org

• Distributed data storage
• Tapestry
• Chord
• Pastry
• A* search algorithm
• Routing
• Tree
• Tulip Overlay
• Kademlia

TURBO PASCAi.: PROCEDURES AND FUNCTIONS Abs (Num) : real or integer; ........... Returns the absolute value of a number. Addr (Var) : pointer; ..................... Returns the address of a variable. Append (FilVar); ...

Source URL: dl.dropboxusercontent.com

• Computing
• Software engineering
• Computer programming
• Data types
• Object-oriented programming languages
• Type theory
• Pointer
• Scala
• Lookup table
• Pascal
• More
• Variable

Iterative Development of Transformation Models by Using Classifying Terms (short paper) Frank Hilken1 Loli Burgueño2

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Engineering
• Systems science
• Software engineering
• Model transformation
• Model theory
• Metamodeling
• Object Process Methodology
• Scientific modelling

JPure: A Modular Purity System for Java David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Email:

Source URL: homepages.ecs.vuw.ac.nz

• Type theory
• Data types
• Object-oriented programming languages
• Object
• Program analysis
• Type system
• Iterator
• Const
• Method
• Objective-C
• Type signature
• Covariance and contravariance

Sound and Complete Flow Typing with Unions, Intersections and Negations David J. Pearce Victoria University of Wellington Wellington, New Zealand {djp}@ecs.vuw.ac.nz

Source URL: homepages.ecs.vuw.ac.nz

• Type theory
• Data types
• Functional languages
• Object-oriented programming
• Type systems
• Subtyping
• Whiley
• OCaml
• ALGOL 68
• Type conversion
• Const
• ML